✅ Type Checking

Bidirectional Checking, Local Inference, Error Messages, Type Elaboration

Algebraic Types are not Scary
blog.aiono.dev·16h·
Discuss: Lobsters, Hacker News, r/programming
🔮Type Inference Visualization
How to Debug Chez Scheme Programs (2002)
scheme.com·5h·
Discuss: Hacker News
💬Error Message Design
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·8h·
Discuss: Hacker News
🔗Lexical Scoping
Logic's Hidden States: Unlock Debugging Superpowers with Algebraic Thinking by Arvind Sundararajan
dev.to·14h·
Discuss: DEV
🧮Theorem Provers
Show HN: Semlib – Semantic Data Processing
github.com·13h·
Discuss: Hacker News
🔍ML Language
Analyzing Lisp Redux: One Form At a Time
funcall.blogspot.com·12h·
Discuss: www.blogger.com
🔮Lisp Interpreters
Semantic Dictionary Encoding
falvotech.com·12h·
Discuss: Hacker News
🗂️Type Indexing
I made a library to stop writing giant switch statements for Go errors
reddit.com·2h·
Discuss: r/golang
🛡️Error Handling
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·1d·
Discuss: Hacker News, r/programming, r/rust
🧩Constraint Solvers
Balance between refactoring and inheritance in your code
github.com·15h·
Discuss: Hacker News
🧪Compiler Testing
What Does -> Mean in Python Function Definitions?
realpython.com·13h
🌊Gradual Typing
Asynchronous Exceptions in Practice (2017)
simonmar.github.io·8h·
Discuss: Hacker News
🔗Concurrency Primitives
Introducing: A Go package to reduce err boilerplate
dev.to·2d·
Discuss: DEV
🛡️Error Handling
Compartmentalised Agentic Reasoning for Clinical NLI
arxiv.org·23h
⚖️Inference Rules
[CS 2881r] Some Generalizations of Emergent Misalignment
lesswrong.com·1d
🔍ML Language
The pirate-based logic of Rust shared references
ais523.me.uk·1d·
Discuss: Lobsters, Hacker News, r/programming
🔒Rust Borrowing
Greyscale-box test-driven development
blog.ploeh.dk·8h
🧪Compiler Testing
Faux Type Theory: three minimalist OCaml simple proof checker implementations
github.com·2d·
Discuss: Hacker News
🎯Type Theory
A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.com·14h·
Discuss: Hacker News
🌱Minimal Lisps
What is Algebraic about Algebraic Effects?
interjectedfuture.com·11h
💫Effect Systems